Merge pull request #368 from gabri94/master
authorSaverio Proto <[email protected]>
Wed, 2 May 2018 09:01:44 +0000 (11:01 +0200)
committerGitHub <[email protected]>
Wed, 2 May 2018 09:01:44 +0000 (11:01 +0200)
prince: version bump to v0.4


Trivial merge